конъюнкция дизъюнкций

См. также в других словарях:

• АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

• АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч …   Математическая энциклопедия

• Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …   Википедия

• Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… …   Википедия

• Семантическая оптимизация запросов СУБД — процесс валидации и преобразования синтаксического дерева запроса в форму, пригодную для дальнейших шагов оптимизации. На этой стадии выполняется: Преобразование запросов в каноническую форму; Раскрытие представлений; Преобразование подзапросов в …   Википедия

• Предоптимизация запросов СУБД — Семантическая оптимизация запросов СУБД процесс валидации и преобразования синтаксического дерева запроса в форму, пригодную для дальнейших шагов оптимизации. На этой стадии выполняется: Преобразование запросов в каноническую форму; Раскрытие… …   Википедия

• Замкнутые классы булевых функций — Замкнутый класс в теории булевых функций  такое множество функций алгебры логики, замыкание которого относительно операции суперпозиции совпадает с ним самим: . Другими словами, любая функция, которую можно выразить формулой с использованием …   Википедия

• ТРАНСЦЕНДЕНТАЛЬНЫЙ ЭМПИРИЗМ — ’ТРАНСЦЕНДЕНТАЛЬНЫЙ ЭМПИРИЗМ’ самообозначение Делезом собственной философской установки, являющейся несущей конструкцией его интеллектуального творчества. Тема ‘Т.Э.’ нашла отражение в работах Делеза ‘Давид Юм: его жизнь, его сочинения, совместно …   История Философии: Энциклопедия

• НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное …   Математическая энциклопедия

• Бинарная диаграмма решений — (БДР) или программа с ветвлением является формой представления булевой функции от переменных в виде направленного ациклического графа, состоящего из внутренних узлов решений (помеченных ), каждый из которых имеет по два потомка, и двух… …   Википедия

• ТРАНСЦЕНДЕНТАЛЬНЫЙ ЭМПИРИЗМ — самообозначение Делезом собственной философской установки, являющейся несущей конструкцией его интеллектуального творчества. Тема Т.Э. нашла отражение в работах Делеза Давид Юм: его жизнь, его сочинения, совместно с изложением его философии (1952 …   История Философии: Энциклопедия